Agent Communication
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents ...
اقرأ المزيد
Agent Communication II
Although everyone recognizes communication as a central concept in mul- agents, many no longer see agent communication as ...
اقرأ المزيد
Algorithmic Aspects of Wireless Sensor Networks
This volume contains the contributed papers and invited talks presented at the 1stInternational Workshop on Algorithmic Aspect ...
اقرأ المزيد
Algorithmic Aspects of Wireless Sensor Networks : Third International Workshop, ALGOSENSORS 2007, Wroclaw, Poland, July 14, 2007, Revised Selected Papers
This book contains the proceedings of the Third International Workshop on Algorithmic Aspects of Wireless Sensor Networks. ...
اقرأ المزيد
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
Distributed Computing and Networking
VI realm between distributed computing and networking, namely, Modeling Biological Networks, Network Security, Algorithmic ...
اقرأ المزيد
Distributed Computing – IWDC 2005
This book constitutes the refereed proceedings of the 7th International Workshop on Distributed Computing, IWDC 2004, held ...
اقرأ المزيد
Formal Techniques for Networked and Distributed Systems - FORTE 2005
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee ...
اقرأ المزيد
Human Interactive Proofs
Constitutes the refereed proceedings of the Second International Workshop on Human Interactive Proofs, HIP 2005, held in ...
اقرأ المزيد
Internet of Things, Artificial Intelligence and Blockchain Technology / R.Lakshmana Kumar, Yichuan Wang
Explores the concepts and techniques of IoT, AI, and blockchain. Also discussed is the possibility of applying blockchain ...
اقرأ المزيد
Introduction to Reliable Distributed Programming
Guerraoui and Rodrigues present an introductory description of fundamental reliable distributed programming abstractions ...
اقرأ المزيد
Principles of Protocol Design
Introduces the reader to the principles used in the construction of a large range of modern data communication protocols. ...
اقرأ المزيد
Real-time Communication Protocols for Multi-hop Ad-hoc Networks : Wireless Networking in Production and Control Systems
This book focuses on core functionalities for wireless real-time multi-hop networking with TDMA (time-division multiple access) ...
اقرأ المزيد
Theory of Cryptography
This three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
اقرأ المزيد
